Wort zur Suche eingeben
existential quantifier
Übersetzungen
An existential quantifier is used to express that there is at least one element for which a proposition holds.
Существующий квантор используется, чтобы выразить, что существует хотя бы один элемент, для которого утверждение верно.